($R_{1}$ $\vee$ $R_{2}$)($x$,$y$) $\,\equiv$$_{\mbox{\scriptsize def}}$$\;\;$($x$ $R_{1}$ $y$) $\vee$ ($x$ $R_{2}$ $y$)